home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / simson.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  936 b   |  26 lines

  1. .geometry "version 0.1";
  2. v1 = .free(-0.395349, -0.099863, "1");
  3. v2 = .free(0.099863, 0.409029, "2");
  4. v3 = .free(0.392613, -0.521204, "3");
  5. l1 = .l.vv(v1, v2);
  6. l2 = .l.vv(v2, v3);
  7. l3 = .l.vv(v3, v1);
  8. c1 = .c.vvv(v1, v2, v3);
  9. v4 = .vonc(c1, -0.197213, -0.500589, .green, .plus, "C");
  10. l4 = .l.vlperp(v4, l1, .yellow, .longline);
  11. l5 = .l.vlperp(v4, l2, .yellow, .longline);
  12. l6 = .l.vlperp(v4, l3, .yellow, .longline);
  13. v5 = .v.ll(l1, l4, .yellow);
  14. v6 = .v.ll(l5, l2, .yellow);
  15. v8 = .v.ll(l3, l6, .yellow);
  16. l7 = .l.vv(v5, v8, .red);
  17. l8 = .l.vv(v8, v6, .red);
  18. l9 = .l.vv(v6, v5, .red);
  19. .text("The Simson Line:");
  20. .text("");
  21. .text("Given an arbitrary triangle, choose an arbitrary point C on");
  22. .text("the circumscribed circle.  Drop perpendiculars from this");
  23. .text("point to all three sides of the triangle.  The intersections");
  24. .text("of these perpendiculars with the sides all lie in a straight");
  25. .text("line, called the Simson line.");
  26.